Systems Modeling Language - PDFSEARCH.IO - Document Search Engine

Systems Modeling Language
Results: 1448

#	Item
111	On Integrating Structure and Behavior Modeling with OCL Lars Hamann, Oliver Hofrichter, and Martin Gogolla University of Bremen, Computer Science Department Database Systems Group, DBremen, Germany {lhamann,hofric Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2012-12-21 03:16:59 Software engineering Unified Modeling Language Computing Theoretical computer science Object Constraint Language ECO Executable UML Postcondition State diagram Event Class diagram Finite-state machine
112	Assisted Generation of Frame Conditions for Formal Models Philipp Niemann1 1 Frank Hilken1 Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-09 04:53:38 Software engineering Unified Modeling Language Computing Theoretical computer science ECO Postcondition Systems Modeling Language Object Process Methodology Modeling language Profile Class diagram Economic model
113	Ceptre: A Language for Modeling Generative Interactive Systems Chris Martens Carnegie Mellon University Abstract Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2015-11-07 12:32:30
114	Iterative Development of Transformation Models by Using Classifying Terms (short paper) Frank Hilken1 Loli Burgueño2 Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-09-13 11:14:12 Unified Modeling Language Systems engineering Engineering Systems science Software engineering Model transformation Model theory Metamodeling Object Process Methodology Scientific modelling
115	Modelica - A Unified Object-Oriented Language for Systems Modeling Version 3.3 Add to Reading List Source URL: www.modelica.org Language: English - Date: 2014-07-25 08:34:11
116	JuMP: A MODELING LANGUAGE FOR MATHEMATICAL OPTIMIZATION IAIN DUNNING, JOEY HUCHETTE, MILES LUBIN ∗ Add to Reading List Source URL: www.optimization-online.org Language: English - Date: 2016-02-28 17:01:29 Mathematical optimization Operations research Numerical software Computer algebra systems AMPL Algebraic modeling language Linear programming Gurobi Automatic differentiation Nl Pyomo SCIP
117	Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimar˜aes, Alcino Cunha HASLAB — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal {nfmmacedo,tguimaraes,alcino}@di.umi Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:19 Unified Modeling Language Systems engineering Software engineering Computing Systems science Object Constraint Language Metamodeling Model-driven architecture Platform-specific model Object Process Methodology MMT QVT
118	The GEMOC Initiative On the Globalization of Modeling Languages The New Grand Challenge of the Globalization of Modeling Languages Add to Reading List Source URL: gemoc.org Language: English - Date: 2013-11-24 07:42:02 Unified Modeling Language Scientific modeling Integrated development environments Modeling language Domain-specific modeling Conceptual model Eclipse Systems engineering
119	Modelica - A Unified Object-Oriented Language for Physical Systems Modeling Version 3.2 Add to Reading List Source URL: www.modelica.org Language: English - Date: 2014-06-20 06:32:52
120	PDF Document Add to Reading List Source URL: www.volere.co.uk Language: English Software engineering Engineering Software requirements Computing Systems engineering Software project management Software development process Systems Modeling Language Requirements analysis Requirement Software quality Software testing

UPDATE